AESSCS 2014 Programme
نویسندگان
چکیده
14:00 Rob Ashmore, The Utility and Practicality of Quantifying Software Reliability 14:15 John Rushby, Bev Littlewood, and Lorenzo Strigini, Evaluating the Assessment of Software Fault-Freeness 14:30 Discussion: Should we be following recipes or quantifying software performance? 14:55 Dewi Daniels, The Efficacy of DO-178B 15:10 Discussion: Can we assess a standard as a whole (much as system-level testing assesses software)?
منابع مشابه
Planning the Unplanned Experiment: Assessing the Efficacy of Standards for Safety Critical Software
We need well-founded means of determining whether software is fit for use in safety-critical applications. While software in industries such as aviation has an excellent safety record, the fact that software flaws have contributed to deaths illustrates the need for justifiably high confidence in software. It is often argued that software is fit for safety-critical use because it conforms to a s...
متن کاملImproving Maternal and Child Healthcare Programme Using Community-Participatory Interventions in Ebonyi State Nigeria
In Nigeria, the government is implementing the Free Maternal and Child Health Care Programme (FMCHCP). The policy is premised on the notion that financial barriers are one of the most important constraints to equitable access and use of skilled maternal and child healthcare. In Ebonyi State, Southeastern Nigeria the FMCHCP is experiencing implementation challenges including: inadequate human re...
متن کاملLighting programme and iranian schools lighting requirements
It is accepted that the visual comfort in schools depends on the quality of the whole visual environment. This leads to the concern upon the quality and quantity of lighting. Currently in Iran, in order to calculate energy transfer for public buildings a coefficient is usually used. This coefficient considers the rate of sunlight energy absorption in these kinds of buildings. To increase the ...
متن کامل